Maria Paola Cabasino: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Optimal sensor selection for ensuring diagnosability in labeled Petri nets

Cabasino, Maria Paola, Lafortune, Stéphane, Seatzu, Carla

Journal:

Year:

2013

Language:

english

File:

PDF, 798 KB

english, 2013

2

State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions

Basile, Francesco, Cabasino, Maria Paola, Seatzu, Carla

Journal:

IEEE Transactions on Automatic Control

Year:

2015

Language:

english

File:

PDF, 214 KB

english, 2015

3

Probabilistic Marking Estimation in Labeled Petri Nets

Cabasino, Maria Paola, Hadjicostis, Christoforos N., Seatzu, Carla

Journal:

IEEE Transactions on Automatic Control

Year:

2015

Language:

english

File:

PDF, 353 KB

english, 2015

4

Diagnosability analysis of an ABS system modeled using Petri nets

Cabasino, Maria Paola, Giua, Alessandro, Seatzu, Carla

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 284 KB

english, 2012

5

Marking Observer in Labeled Petri Nets With Application to Supervisory Control

Cabasino, Maria Paola, Hadjicostis, Christoforos N., Seatzu, Carla

Journal:

IEEE Transactions on Automatic Control

Year:

2017

Language:

english

File:

PDF, 931 KB

english, 2017

6

Fault detection for discrete event systems using Petri nets with unobservable transitions

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu

Journal:

Year:

2010

Language:

english

File:

PDF, 579 KB

english, 2010

7

Identification of Petri Nets from Knowledge of Their Language

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu

Journal:

Discrete Event Dynamic Systems

Year:

2007

Language:

english

File:

PDF, 568 KB

english, 2007

8

[IEEE 2010 IEEE International Conference on Systems, Man and Cybernetics - SMC - Istanbul, Turkey (2010.10.10-2010.10.13)] 2010 IEEE International Conference on Systems, Man and Cybernetics - Fault diagnosis of manufacturing systems using continuous Petri nets

Cabasino, Maria Paola, Seatzu, Carla, Mahulea, Cristian, Silva, Manuel

Year:

2010

Language:

english

File:

PDF, 880 KB

english, 2010

9

[IEEE 2009 Joint 48th IEEE Conference on Decision and Control (CDC) and 28th Chinese Control Conference (CCC) - Shanghai, China (2009.12.15-2009.12.18)] Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference - New results for fault detection of untimed continuous Petri nets

Seatzu, Carla, Cabasino, Maria Paola, Mahulea, Cristian, Silva, Manuel

Year:

2009

Language:

english

File:

PDF, 1.06 MB

english, 2009

10

[IEEE 2009 IEEE International Conference on Control Applications (CCA) - St. Petersburg, Russia (2009.07.8-2009.07.10)] 2009 IEEE International Conference on Control Applications - Fault diagnoser design for untimed continuous Petri nets

Seatzu, Carla, Mahulea, Cristian, Cabasino, Maria Paola, Silva, Manuel

Year:

2009

Language:

english

File:

PDF, 962 KB

english, 2009

11

[IEEE 2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012) - Krakow, Poland (2012.09.17-2012.09.21)] Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012) - Marking estimation of fuzzy Petri nets

Cabasino, Maria Paola, Dotoli, Mariagrazia, Seatzu, Carla

Year:

2012

Language:

english

File:

PDF, 321 KB

english, 2012

12

Fault model identification and synthesis in Petri nets

Cabasino, Maria Paola, Giua, Alessandro, Hadjicostis, Christoforos N., Seatzu, Carla

Journal:

Discrete Event Dynamic Systems

Year:

2015

Language:

english

File:

PDF, 833 KB

english, 2015

13

Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications

Yu Ru,Maria Paola Cabasino,Alessandro Giua…

Journal:

Discrete Event Dynamic Systems

Year:

2014

Language:

english

File:

PDF, 1.54 MB

english, 2014

14

A Remark on the Decentralized Diagnosis of Labeled Petri Nets

Cabasino, Maria Paola, Giua, Alessandro, Paoli, Andrea, Seatzu, Carla

Journal:

IEEE Transactions on Systems, Man, and Cybernetics: Systems

Year:

2014

Language:

english

File:

PDF, 119 KB

english, 2014

15

[IEEE 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA) - Cagliari, Italy (2013.09.10-2013.09.13)] 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA) - Marking estimation of Time Petri nets with unobservable transitions

Basile, Francesco, Cabasino, Maria Paola, Seatzu, Carla

Year:

2013

Language:

english

File:

PDF, 192 KB

english, 2013

16

Diagnosability of Discrete-Event Systems Using Labeled Petri Nets

Cabasino, Maria Paola, Giua, Alessandro, Seatzu, Carla

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2014

Language:

english

File:

PDF, 1.57 MB

english, 2014

17

[IEEE 2007 IEEE International Conference on Automation Science and Engineering - Scottsdale, AZ, USA (2007.09.22-2007.09.25)] 2007 IEEE International Conference on Automation Science and Engineering - State Estimation of Petri Nets by Transformation

Cabasino, Maria Paola, Giua, Alessandro, Mahulea, Cristian, Recalde, Laura, Seatzu, Carla, Silva, Manuel

Year:

2007

Language:

english

File:

PDF, 560 KB

english, 2007

18

[IEEE 2010 IEEE International Conference on Automation Science and Engineering (CASE 2010) - Toronto, ON (2010.08.21-2010.08.24)] 2010 IEEE International Conference on Automation Science and Engineering - Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events

Cabasino, Maria Paola, Giua, Alessandro, Seatzu, Carla

Year:

2010

Language:

english

File:

PDF, 449 KB

english, 2010

19

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - Fault model identification with Petri nets

Cabasino, Maria Paola, Giua, Alessandro, Hadjicostis, Christoforos N., Seatzu, Carla

Year:

2008

Language:

english

File:

PDF, 218 KB

english, 2008

20

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - A comparison between two diagnostic tools based on automata and Petri nets

Lai, Stefano, Nessi, Davide, Cabasino, Maria Paola, Giua, Alessandro, Seatzu, Carla

Year:

2008

Language:

english

File:

PDF, 179 KB

english, 2008

21

Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets

Cabasino, Maria Paola, Giua, Alessandro, Paoli, Andrea, Seatzu, Carla

Journal:

IEEE Transactions on Systems, Man, and Cybernetics: Systems

Year:

2013

Language:

english

File:

PDF, 343 KB

english, 2013

22

[IEEE 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA) - Cagliari, Italy (2013.09.10-2013.09.13)] 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA) - A survey on efficient diagnosability tests for automata and bounded Petri nets

Hosseini, Mona Noori, Lennartson, Bengt, Cabasino, Maria Paola, Seatzu, Carla

Year:

2013

Language:

english

File:

PDF, 256 KB

english, 2013

23

[IEEE 2013 IEEE 52nd Annual Conference on Decision and Control (CDC) - Firenze (2013.12.10-2013.12.13)] 52nd IEEE Conference on Decision and Control - Probabilistic marking estimation in labeled Petri nets

Cabasino, Maria Paola, Hadjicostis, Christoforos N., Seatzu, Carla

Year:

2013

Language:

english

File:

PDF, 502 KB

english, 2013

24

[IEEE 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013) - Manchester (2013.10.13-2013.10.16)] 2013 IEEE International Conference on Systems, Man, and Cybernetics - Marking Observer of Labeled Petri Nets with Uncertainty in the Initial Marking

Cabasino, Maria Paola, Seatzu, Carla, Hadjicostis, Christoforos N.

Year:

2013

Language:

english

File:

PDF, 306 KB

english, 2013

25

[IEEE 2009 Joint 48th IEEE Conference on Decision and Control (CDC) and 28th Chinese Control Conference (CCC) - Shanghai, China (2009.12.15-2009.12.18)] Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference - Diagnosability analysis of unbounded Petri nets

Cabasino, Maria Paola, Giua, Alessandro, Lafortune, Stephane, Seatzu, Carla

Year:

2009

Language:

english

File:

PDF, 1.24 MB

english, 2009

26

[IEEE 2010 American Control Conference (ACC 2010) - Baltimore, MD (2010.6.30-2010.7.2)] Proceedings of the 2010 American Control Conference - Decentralized diagnosis of Petri nets

Cabasino, Maria Paola, Giua, Alessandro, Paoli, A, Seatzu, Carla

Year:

2010

Language:

english

File:

PDF, 351 KB

english, 2010

27

[IEEE 2008 47th IEEE Conference on Decision and Control - Cancun, Mexico (2008.12.9-2008.12.11)] 2008 47th IEEE Conference on Decision and Control - Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications

Ru, Yu, Cabasino, Maria Paola, Giua, Alessandro, Hadjicostis, Christoforos N.

Year:

2008

Language:

english

File:

PDF, 233 KB

english, 2008

28

[IEEE Proceedings of the 45th IEEE Conference on Decision and Control - San Diego, CA, USA (2006.12.13-2006.12.15)] Proceedings of the 45th IEEE Conference on Decision and Control - Identification of unbounded Petri nets from their coverability graph

Cabasino, Maria Paola, Giua, Alessandro, Seatzu, Carla

Year:

2006

Language:

english

File:

PDF, 217 KB

english, 2006

29

[IEEE 2009 Joint 48th IEEE Conference on Decision and Control (CDC) and 28th Chinese Control Conference (CCC) - Shanghai, China (2009.12.15-2009.12.18)] Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference - Diagnosability of bounded Petri nets

Cabasino, Maria Paola, Giua, Alessandro, Seatzu, Carla

Year:

2009

Language:

english

File:

PDF, 1.34 MB

english, 2009

30

Diagnosis Using Labeled Petri Nets With Silent or Undistinguishable Fault Events

Cabasino, Maria Paola, Giua, Alessandro, Seatzu, Carla

Journal:

IEEE Transactions on Systems, Man, and Cybernetics: Systems

Year:

2013

Language:

english

File:

PDF, 359 KB

english, 2013

31

[IEEE 2012 IEEE International Conference on Automation Science and Engineering (CASE 2012) - Seoul, Korea (South) (2012.08.20-2012.08.24)] 2012 IEEE International Conference on Automation Science and Engineering (CASE) - A comparison among tools for the diagnosability of discrete event systems

Cabasino, Maria Paola, Giua, Alessandro, Marcias, Laura, Seatzu, Carla

Year:

2012

Language:

english

File:

PDF, 166 KB

english, 2012

32

[IEEE 2007 46th IEEE Conference on Decision and Control - New Orleans, LA, USA (2007.12.12-2007.12.14)] 2007 46th IEEE Conference on Decision and Control - A state estimation problem for timed continuous Petri nets

Mahulea, Cristian, Cabasino, Maria Paola, Giua, Alessandro, Seatzu, Carla

Year:

2007

Language:

english

File:

PDF, 203 KB

english, 2007

33

[IEEE 2008 47th IEEE Conference on Decision and Control - Cancun, Mexico (2008.12.9-2008.12.11)] 2008 47th IEEE Conference on Decision and Control - Linear programming techniques for the identification of place/transition nets

Cabasino, Maria Paola, Giua, Alessandro, Seatzu, Carla

Year:

2008

Language:

english

File:

PDF, 238 KB

english, 2008

34

[IEEE 2014 IEEE Emerging Technology and Factory Automation (ETFA) - Barcelona, Spain (2014.9.16-2014.9.19)] Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) - State feedback control of labeled Petri nets with uncertainty in the initial marking

Cabasino, Maria Paola, Hadjicostis, Christoforos N., Seatzu, Carla

Year:

2014

Language:

english

File:

PDF, 631 KB

english, 2014

35

Diagnosis of discrete event systems using labeled Petri nets

Cabasino, Maria Paola, Giua, Alessandro, Seatzu, Carla

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 231 KB

english, 2009

36

K-diagnosability of Time labeled Petri nets

Basile, Francesco, Cabasino, Maria Paola, Seatzu, Carla

Journal:

IFAC Proceedings Volumes

Year:

2014

Language:

english

File:

PDF, 252 KB

english, 2014

37

Diagnosability Analysis of Labeled Time Petri Net Systems

Basile, Francesco, Cabasino, Maria Paola, Seatzu, Carla

Journal:

IEEE Transactions on Automatic Control

Year:

2016

Language:

english

File:

PDF, 730 KB

english, 2016

38

A new protocol for the decentralized diagnosis of labeled Petri nets

Cabasino, Maria Paola, Giua, Alessandro, Paoli, Andrea, Seatzu, Carla

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 246 KB

english, 2010

39

Decentralized Diagnosability Analysis of Discrete Event Systems using Petri Nets*

Paola Cabasino, Maria, Giua, Alessandro, Paoli, Andrea, Seatzu, Carla

Journal:

IFAC Proceedings Volumes

Year:

2011

Language:

english

File:

PDF, 322 KB

english, 2011